acm transactions on programming languages and systemsの例文
- Notable journals that publish PLT research include the " ACM Transactions on Programming Languages and Systems " ( TOPLAS ), " Journal of Functional Programming " ( JFP ), " Journal of Functional and Logic Programming ", and " Higher-Order and Symbolic Computation ".
- His papers appeared on prestigious journals like the " Journal of the ACM ", " Information and Control " ( now " Information and Computation " ), " ACM Transactions on Software Engineering and Methodology ", " ACM Transactions on Programming Languages and Systems ", " IEEE Transactions on Software Engineering ".
